Computer verification for historians of philosophy

Interactive theorem provers might seem particularly impractical in the history of philosophy. Journal articles this discipline are generally not formalized. involve a learning curve for which payoffs minimal. In article I argue that interactive have already demonstrated their potential as useful tool historians philosophy; do by highlighting examples work where has been done. Further, can continue to be tools philosophy future; claim is defended through more conceptual analysis what identifies argument reconstruction core activity such practitioners. It then shown assist practice description and do. If right, computer verification offing.